Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
191	Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-03-23 21:49:40 Order theory Proof theory Mathematical logic Metalogic Equivalence of categories Linear extension Reverse mathematics Theorem
192	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
193	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Logic Computability theory Mathematical logic Proof theory Mathematics Reverse mathematics Model theory
194	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-08-12 05:11:28 Logic Mathematical logic Theoretical computer science Proof theory Logic in computer science Models of computation Formal methods Metalogic Denotational semantics Linear logic Natural deduction Cut-elimination theorem
195	A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-04-18 10:49:58 Proof theory Computability theory Dialectica interpretation Intuitionism Symbol operator Primitive recursive functional
196	The Art of Ordinal Analysis Michael Rathjen Abstract. Ordinal analysis of theories is a core area of proof theory whose origins can be traced back to Hilbert’s programme - the aim of which was to lay to rest all worrie Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-17 06:36:34
197	Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:11:23 Computability theory Primitive recursive functional Proof theory Continuous function Spectral theory of ordinary differential equations It diffusion
198	Research Statement Emanuele Frittaion 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-06-04 05:36:00 Mathematics Order theory Abstraction Structure Wellfoundedness Proof theory Computability theory Linear extension Reverse mathematics Well-quasi-ordering Antichain Countable set
199	Paranoid Proof-Number Search Jahn-Takeshi Saito and Mark H.M. Winands Abstract— Over the years, an increasing number of twoplayer games has been added to the list of solved games. However, solving multi-player games ha Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Game artificial intelligence Search algorithms Combinatorial game theory Proof-number search Abstract strategy games Andor tree Alphabeta pruning Game tree Solved game Tree B-tree Computer chess
200	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier

UPDATE